Predicate order and coherence in copredication
نویسندگان
چکیده
This article proposes that predicate order and coherence relations are the two major determining factors in copredication licensing, resolving a long-standing puzzle over criteria for constructing acceptable copredications. The effects of ordering claimed to be anchored around semantic complexity, such copredications with semantically Simple–Complex orderings more than reverse. motivates parsing bias, termed Incremental Semantic Complexity. Particular ways implementing this bias discussed. effect is sense causality featural commonality. Lastly, hierarchy possible outlined (the Copredication Hierarchy), helping delimit modelling greater extent has previously been possible.
منابع مشابه
Predicate Fronting and Constituent Order in Malagasy
This paper discusses how predicate-initial (VOS) order in Malagasy is derived, and the implications of this derivation for general theories of word order. Malagasy clauses are comprised of a predicate phrase followed by a constituent here called the TRIGGER, which occupies the specifier of an A’-position (provisionally labelled TopP). I argue against an analysis where TopP projects its specifie...
متن کاملQuantifier Elimination in Second-Order Predicate Logic
An algorithm is presented which eliminates second–order quantifiers over predicate variables in formulae of type ∃P1, . . . , Pnψ where ψ is an arbitrary formula of first– order predicate logic. The resulting formula is equivalent to the original formula – if the algorithm terminates. The algorithm can for example be applied to do interpolation, to eliminate the second–order quantifiers in circ...
متن کاملPredicate Construction in Higher-order Logic
Predicate construction is a guided search process: a space of predicates must be enumerated in some systematic way in order to find, according to some criterion, a suitable predicate for some purpose. Often the search space is large and heuristics are used to guide the search. Typically, predicate construction is studied and implemented in the context of first-order logic. In this paper, I outl...
متن کاملOrder of subject and predicate in scientific Russian
A study by Kenneth E. Harper indicates that word order in Russian scientific writing is sufficiently similar to that of English to permit word-for-word translation from Russian to English. Further study of Russian texts shows that word order in scientific Russian is sufficiently different to require analysis, for translation purposes, based on form and function rather than on word-for-word corr...
متن کاملMeta-theory of first-order predicate logic
We present a formalization of parts of Melvin Fitting’s book “FirstOrder Logic and Automated Theorem Proving” [1]. The formalization covers the syntax of first-order logic, its semantics, the model existence theorem, a natural deduction proof calculus together with a proof of correctness and completeness, as well as the Löwenheim-Skolem theorem.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Inquiry: An Interdisciplinary Journal of Philosophy
سال: 2021
ISSN: ['0020-174X', '1502-3923']
DOI: https://doi.org/10.1080/0020174x.2021.1958054